NOTICE OF REQUEST FOR PUBLIC COMMENTS REGARDING A PROPOSED NEW MULTISTATE FORM U-1 AND A REVISED FORM U-2 April 1, 2016

Source URL: www.nasaa.org

• U.S. Securities and Exchange Commission
• United States securities law
• Finance
• Economy
• Money
• 73rd United States Congress
• Stock market
• Securities Act
• SEC filing
• Security
• Regulation A
• Prospectus

FREITAG | 26. Oktober 2018 SAMSTAG | 27. Oktober 2018 SONNTAG | 28. Oktober 2018 GALERIE 1 GALERIE 2 SRF

Source URL: www.grafik-schweiz.ch

Author Proof A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2

Source URL: qav.comlab.ox.ac.uk

• I0
• Invariant
• XC

Poster: Adaptcha: An Adaptive CAPTCHA for Improved User Experience Brian M. Powell1 , Richa Singh1,2 , Mayank Vatsa1,2 and Afzel Noore1 1 West Virginia University, 2 IIIT-Delhi {brian.powell, afzel.noore}@mail.wvu.edu, {

Source URL: www.ieee-security.org

• Artificial intelligence
• World Wide Web
• Human-based computation
• Technology
• Computer vision
• Computer access control
• Anti-spam
• CAPTCHA
• Computer security
• Internet bot
• Turing test
• Transaction authentication number

Pollard Rho on the PlayStation 3 Joppe W. Bos1 1 EPFL 2 Microsoft

Source URL: www.hyperelliptic.org

• Cryptography
• Abstract algebra
• Algebra
• Finite fields
• Group theory
• Applied mathematics
• Logarithms
• Elliptic-curve cryptography
• Discrete logarithm
• Key size
• Elliptic curve
• Cryptanalysis

Cream version 1.2 Programmers Guide Naoyuki Tamura http://bach.istc.kobe-u.ac.jp/cream/ Oct. 5, 2004 Abstract

Source URL: bach.istc.kobe-u.ac.jp

• Software engineering
• Computer programming
• Computing
• Mathematical modeling
• Numerical software
• Constraint satisfaction
• Constraint programming
• AMPL
• Solver
• Lis
• Prolog
• Quadratic programming

Combination Methods for Model-Checking of Infinite-State Systems S. Ghilardi1 , E. Nicolini2 , S. Ranise2 , and D. Zucchelli1,2 1 Università 2 LORIA

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Temporal logic
• Computer science
• Formal methods
• Linear temporal logic
• Model checking
• Amir Pnueli
• French Institute for Research in Computer Science and Automation
• Mathematical logic
• Temporal logic in finite-state verification

Achain Blockchain Whitepaper Build to be boundless Table of Contents Abstract ..................................................................................................................................... 2 1

Source URL: www.achain.com

• Cryptocurrencies
• Blockchains
• Concurrent computing
• Alternative currencies
• Distributed computing
• Computing
• Decentralization
• Cross-platform software
• Ethereum
• Bitcoin
• Smart contract
• NEM

Code-Carrying Authorization Sergio Maffeis2,3 , Mart´ın Abadi1,2 , C´edric Fournet1 , and Andrew D. Gordon1 1 2

Source URL: www.doc.ic.ac.uk

• Process calculi
• Theoretical computer science
• -calculus
• Expected value
• Mathematics
• Creativity
• Abstraction

Space-time Interpolants Goran Frehse1 , Mirco Giacobbe2 , and Thomas A. Henzinger2 1 Univ. Grenoble Alpes, CNRS, Grenoble INP, VERIMAG 2

Source URL: repository.ist.ac.at

• Mathematics
• Geometry
• Mathematical analysis
• Topology
• Convex analysis
• Measure theory
• Order theory
• Cover
• General topology
• Convex function
• Support
• Interval